/* Starting with empty list */
let fmap = (f, safe_head([])) == fmap(f, None) == None;